Fred B. Schneider - PDFSEARCH.IO - Document Search Engine

Fred B. Schneider
Results: 85

#	Item
31	Inside Fred B. Schneider and Steven M. Bellovin Evolving Telephone Networks he U.S. public telephone network (PTN) is Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-10 19:15:19 Telephony Electronic engineering Public switched telephone network Telephone AT&T Corporation Technology Bell System Telecommunications systems
32	Credentials-Based Authorization: Evaluation and Implementation Abstract of Plenary Lecture Fred B. Schneider Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2007-05-18 09:46:04 Identity management Authorization Credential
33	Fine-Grained User Privacy from Avenance Tags? Eleanor Birrell and Fred B. Schneider Department of Computer Science, Cornell University. {eleanor, fbs}@cs.cornell.edu Abstract. In the Internet, users interact with servic Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-21 15:40:36 World Wide Web Internet privacy Federal Trade Commission Identity management Social issues P3P FTC Fair Information Practice Facebook Personally identifiable information Privacy Computing Ethics
34	Language-Based Security for Malicious Mobile Code Fred B. Schneider [removed] Dexter Kozen [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-07-08 16:43:04 Type theory Cross-platform software Crime prevention National security Computer security Information flow Cyclone Type safety Information security Computing Software engineering Programming language theory
35	Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, Fred B. Schneider Cornell University Abstract Device drivers typically execute in superviso Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:18:03 Interrupts Computer memory Direct memory access Motherboard Device driver Memory-mapped I/O Interrupt Microkernel Operating system Computer architecture Computer hardware Computing
36	Chain Replication for Supporting High Throughput and Availability Robbert van Renesse Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:03:04 Database management systems Data synchronization Replication Server Computer architecture Computing Computer storage Fault-tolerant computer systems
37	Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 ii Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 14:07:02 Symmetry Mathematical logic Theoretical computer science Program logic Proof theory Curry–Howard correspondence Predicate transformer semantics Mathematics Group action Group theory
38	Belief in Information Flow Michael R. Clarkson Andrew C. Myers Fred B. Schneider Department of Computer Science Cornell University {clarkson,andru,fbs}@cs.cornell.edu Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:06:30 International Association of Fire Fighters Public safety Fire Triangle Shirtwaist Factory fire Emergency management AFL–CIO Firefighting Canadian Labour Congress
39	Chapter 8: The Primary{Backup Approach Navin Budhiraja Keith Marzullo y Fred B. Schneider z Sam Toueg x Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:35:42 Network architecture Data synchronization State machine replication MX record Computing Network protocols Email
40	Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 15:52:48 Mathematical logic Büchi automaton First-order logic Finite-state machine FO Function Nested word Muller automaton Automata theory Theoretical computer science Mathematics

UPDATE